import java.rmi.*;

public interface RMIServer extends Remote
{
	// Methode des Servers, die remote
	// ausgeführt werden kann
	void setString (String str) throws RemoteException;
	void setStudent (Student stud) throws RemoteException;
}